Valuations revisited
نویسنده
چکیده
The notion of a semivaluation has been introduced in [Sch98]. Aside from providing a novel concept generalizing valuations on lattices to the context of semilattices, semivaluations shed new light on the notion of a “partial metric” well known from theoretical computer science (e.g. [Mat94], [Mat95], [O’N97], [BS97] and [BSh97]). As discussed in [Sch98], the characterization of partial metrics in terms of semivaluations is non-trivial and involves the solution of an open problem of the Survey Paper “Non-symmetric Topology” (Problem 7 of [Kün93]) for the class of quasi-uniform semilattices. We recall from [Sch98] that the traditional domain theoretic examples, including the well known class of totally bounded Scott domains (e.g. [Smy91]), all correspond to semivaluation spaces. As such it is possible to study Quantitative Domain Theory (e.g. [FSW96]) in this simplified context, similar to the study of metric lattices (uniform lattices) in the more basic context of valuation spaces (cf. [Bir84] and also [Web91]). Hence the notion of a semivaluation is of sufficient interest to merit an independent study. The main purpose of this short note is to provide a basic introduction to the notion of a semivaluation independent of the domain theoretic considerations of [Sch98] and to discuss a recently obtained characterization of valuations in terms of semivaluations.
منابع مشابه
Quotient BCI-algebras induced by pseudo-valuations
In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.
متن کاملCS 364 B : Frontiers in Mechanism Design Lecture # 17 : Part I : Demand Reduction in Multi - Unit Auctions Revisited ∗
The last several lectures focused on simultaneous single-item auctions, with both secondprice and first-price payment rules. The toolbox we developed for bounding the POA in auctions can also be applied to many other auction formats. In this lecture we revisit an old setting (from Lecture #4) and derive some new insights via this toolbox. Recall the setting of multi-unit auctions with downward-...
متن کاملMATRIX VALUATION PSEUDO RING (MVPR) AND AN EXTENSION THEOREM OF MATRIX VALUATION
Let R be a ring and V be a matrix valuation on R. It is shown that, there exists a correspondence between matrix valuations on R and some special subsets ?(MVPR) of the set of all square matrices over R, analogous to the correspondence between invariant valuation rings and abelian valuation functions on a division ring. Furthermore, based on Malcolmson’s localization, an alternative proof for t...
متن کامل